Merge pull request #1806 from thomas-arm/master
authorAntonio Niño Díaz <[email protected]>
Tue, 5 Feb 2019 11:31:05 +0000 (11:31 +0000)
committerGitHub <[email protected]>
Tue, 5 Feb 2019 11:31:05 +0000 (11:31 +0000)
commit49dd04815f7e5b1687f4a87340829e55433e210f
tree8a51280cd43fd2876d35479214b661ef3b42fd6f
parent5c8a7732e172098b21fcd0edbbb614318d22982a
parente64044ba8f75d850a242624c52e5f504f332e462
Merge pull request #1806 from thomas-arm/master

sgi/sgm: add a second maintainer for Arm's SGI and SGM platforms
maintainers.rst